3,432 research outputs found

    Primes in arithmetic progressions and semidefinite programming

    Full text link
    Assuming the generalized Riemann hypothesis, we give asymptotic bounds on the size of intervals that contain primes from a given arithmetic progression using the approach developed by Carneiro, Milinovich and Soundararajan [Comment. Math. Helv. 94, no. 3 (2019)]. For this we extend the Guinand-Weil explicit formula over all Dirichlet characters modulo q3q \geq 3, and we reduce the associated extremal problems to convex optimization problems that can be solved numerically via semidefinite programming.Comment: 11 pages, 5 ancillary file

    Speeding-up model-based fault injection of deep-submicron CMOS fault models through dynamic and partially reconfigurable FPGAS

    Full text link
    Actualmente, las tecnologías CMOS submicrónicas son básicas para el desarrollo de los modernos sistemas basados en computadores, cuyo uso simplifica enormemente nuestra vida diaria en una gran variedad de entornos, como el gobierno, comercio y banca electrónicos, y el transporte terrestre y aeroespacial. La continua reducción del tamaño de los transistores ha permitido reducir su consumo y aumentar su frecuencia de funcionamiento, obteniendo por ello un mayor rendimiento global. Sin embargo, estas mismas características que mejoran el rendimiento del sistema, afectan negativamente a su confiabilidad. El uso de transistores de tamaño reducido, bajo consumo y alta velocidad, está incrementando la diversidad de fallos que pueden afectar al sistema y su probabilidad de aparición. Por lo tanto, existe un gran interés en desarrollar nuevas y eficientes técnicas para evaluar la confiabilidad, en presencia de fallos, de sistemas fabricados mediante tecnologías submicrónicas. Este problema puede abordarse por medio de la introducción deliberada de fallos en el sistema, técnica conocida como inyección de fallos. En este contexto, la inyección basada en modelos resulta muy interesante, ya que permite evaluar la confiabilidad del sistema en las primeras etapas de su ciclo de desarrollo, reduciendo por tanto el coste asociado a la corrección de errores. Sin embargo, el tiempo de simulación de modelos grandes y complejos imposibilita su aplicación en un gran número de ocasiones. Esta tesis se centra en el uso de dispositivos lógicos programables de tipo FPGA (Field-Programmable Gate Arrays) para acelerar los experimentos de inyección de fallos basados en simulación por medio de su implementación en hardware reconfigurable. Para ello, se extiende la investigación existente en inyección de fallos basada en FPGA en dos direcciones distintas: i) se realiza un estudio de las tecnologías submicrónicas existentes para obtener un conjunto representativo de modelos de fallos transitoriosAndrés Martínez, DD. (2007). Speeding-up model-based fault injection of deep-submicron CMOS fault models through dynamic and partially reconfigurable FPGAS [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1943Palanci

    Economic evaluation of laparoscopic surgery for colorectal cancer

    Get PDF
    Objectives: To assess the cost-effectiveness of laparoscopic surgery compared with open surgery for the treatment of colorectal cancer. Methods: A Markov model was developed to model cost-effectiveness over 25 years. Data on the clinical effectiveness of laparoscopic and open surgery for colorectal cancer were obtained from a systematic review of the literature. Data on costs came from a systematic review of economic evaluations and from published sources. The outcomes of the model were presented as the incremental cost per life year gained and using cost-effectiveness acceptability curves (CEACs) to illustrate the likelihood that a treatment was cost-effective at various threshold values for society’s willingness to pay for an additional life year. Results: Laparoscopic surgery was on average £300 more costly and slightly less effective than open surgery and had a 30% chance of being cost-effective if society is willing to pay £30,000 for a life year. One interpretation of the available data suggests equal survival and disease-free survival. Making this assumption, laparoscopic surgery had a greater chance of being considered cost-effective. Presenting the results as incremental cost per quality adjusted life year (QALY) made no difference to the results, as utility data were poor. Evidence suggests short-term benefits following laparoscopic repair. This benefit would have to be at least 0.01 of a QALY for laparoscopic surgery to be considered cost-effective. Conclusions: Laparoscopic surgery is likely to be associated with short-term quality of life benefits, similar long-term outcomes and an additional £300 per patient. A judgement is required as to whether the short-term benefits are worth this extra cost.Peer reviewedAuthor versio

    El impacto de los conjuntos de trilleros en el registro paleolítico de la Meseta. Una aproximación etnoarqueológica

    Get PDF
    This paper analyzes the problem of the many archaeological assemblages found in the Castilian Meseta and created by the recent and contemporary activity of threshing cereals using wooden boards with stone tools (‘trillero’), which can be misinterpreted as of Palaeolithic age. The process of threshing using quartzite stones is systematically described, as well as the knapping technology used to make the cutting tools and the geological and archaeological formation of the assemblages.En el siguiente artículo se plantea la problemática que conlleva para el estudio del Paleolítico muchos depósitos líticos de carácter etnográfico y época histórica que se confunden con el registro arqueológico más antiguo. La principal aportación de este trabajo es la sistematización del proceso de elaboración de piedras de trillo en cuarcitas, y la caracterización geológica y arqueológica de estos conjuntos líticos en el territorio de Segovia

    Systematic review of economic evaluations of laparoscopic surgery for colorectal cancer

    Get PDF
    Objective Colorectal cancer is one of the most common cancers and the standard surgical treatment for this cancer is open resection (OS), but laparoscopic surgery (LS) may be an alternative treatment. In 2000, a Health Technology Assessment (HTA) review found little evidence on costs and cost-effectiveness in comparing the two methods. The evidence base has since expanded and this study systematically reviews the economic evaluations on the subject published since 2000. Method Systematic review of studies reporting costs and outcomes of LS vs OS for colorectal cancer. National Health Service Economic Evaluation Database (NHS EED) methods for abstract writing were followed. Studies were summarized and incremental cost-effectiveness ratios (ICER) for common outcomes were calculated. Results Five studies met the inclusion criteria. LS generally had higher healthcare costs. Most studies reported longer operational time and shorter length of stay and similar long-term outcomes with LS vs OS. Only one outcome, complications, was common across all studies but results lacked consistency (e.g. in two studies, OS was less costly but more effective; in another study, LS was less costly but more effective; and in the further two studies, LS could potentially be cost effective depending on the decision-makers' willingness to pay for the health gain). Conclusion The evidence on cost-effectiveness is not consistent. LS was generally more costly than OS. However, the effectiveness data used in individual economic evaluation were imprecise and unreliable when compared with data from systematic reviews of effectiveness. Nevertheless, short-term benefits of LS (e.g. shorter recovery) may make LS appear less costly when productivity gains are considered.Department of Health, National Coordinating Centre for Health Technology Assessment, Chief Scientist Office of the Scottish Government Health DirectoratesPeer reviewedAuthor versio

    Los interlocking directorates en España: evolución, poder y consejeros independientes

    Get PDF
    Esta investigación explora la evolución de las redes sociales formadas por la conexión entre consejos de administración —relación interlocking directorates— de las empresas cotizadas españolas en el periodo 1999-2008, mostrándose como una nueva dimensión en el estudio del gobierno corporativo. Permite descubrir cómo se estructura el poder en la esfera económica, avanzar en la comprensión del papel desarrollado por el consejo de administración y ahondar en el rol de los consejeros independientes propiciados por los códigos de buen gobierno. Los resultados muestran cambios estructurales en la red, fragmentándose en mayor medida en los últimos años y con menores valores de densidad, características más propias de redes de países anglosajones. El análisis de centralidad evidencia un desplazamiento de las empresas del sector financiero a posiciones más periféricas, otorgando mayor protagonismo a empresas privadas del sector energético o de la construcción, intuyendo un cambio del modelo de banca a un modelo más anglosajón.Financiación recibida por parte del Ministerio de Educación, Cultura y Deporte a través del programa de Formación del Profesorado Universitario (FPU) y del Ministerio de Economía y Competitividad por el proyecto de investigación con referencia ECO2012-3255

    An Application of Cooperative Game Theory to Distributed Control

    Get PDF
    18th World CongressThe International Federation of Automatic ControlMilano (Italy) August 28 - September 2, 2011In this paper we propose to study the underlying properties of a given distributed control scheme in which a set of agents switch between different communication strategies that define which network links are used in order to regulate to the origin a set of unconstrained linear systems. The problems of how to decide the time-varying communication strategy, share the benefits/costs and detect which are the most critical links in the network are solved using tools from game theory. The proposed scheme is demonstrated through a simulation example

    Cycling habits and other psychological variables affecting commuting by bicycle in city of Madrid

    Get PDF
    To develop effective cycling policies, decision makers and administrators should know the factors influencing the use of the bicycle for daily mobility. Traditional discrete choice models tend to be based on variables such as time and cost, which do not sufficiently explain the choice of the bicycle as a mode of transportation. Because psychological factors have been identified as particularly influential in the decision to commute by bicycle, this paper examines the perceptions of cycling factors and their influence on commuting by bicycle. Perceptions are measured by attitudes, other psychological variables, and habits. Statistical differences in the variables are established in relation to the choice of commuting mode and bicycle experience (commuter, sport–leisure, no use). Doing so enables the authors to identify the main barriers to commuting by bicycle and to make recommendations for cycling policies. Two underlying structures (factors) of the attitudinal variables are identified: direct benefits and long-term benefits. Three other factors are related to variables of difficulty: physical conditions, external facilities, and individual capacities. The effect of attitudes and other psychological variables on people’s decision to cycle to work–place of study is tested by using a logit model. In the case study of Madrid, Spain, the decision to cycle to work– place of study is heavily influenced by cycling habits (for noncommuting trips). Because bicycle commuting is not common, attitudes and other psychological variables play a less important role in the use of bikes

    Cycling habits and other psychological variables affecting commuting by bicycle in Madrid, Spain

    Get PDF
    To develop effective cycling policies, decision makers and administrators should know the factors influencing the use of the bicycle for daily mobility. Traditional discrete choice models tend to be based on variables such as time and cost, which do not sufficiently explain the choice of the bicycle as a mode of transportation. Because psychological factors have been identified as particularly influential in the decision to commute by bicycle, this paper examines the perceptions of cycling factors and their influence on commuting by bicycle. Perceptions are measured by attitudes, other psychological variables, and habits. Statistical differences in the variables are established in relation to the choice of commuting mode and bicycle experience (commuter, sport-leisure, no use). Doing so enables the authors to identify the main barriers to commuting by bicycle and to make recommendations for cycling policies. Two underlying structures (factors) of the attitudinal variables are identified: direct benefits and long-term benefits. Three other factors are related to variables of difficulty: physical conditions, external facilities, and individual capacities. The effect of attitudes and other psychological variables on people's decision to cycle to work-place of study is tested by using a logit model. In the case study of Madrid, Spain, the decision to cycle to work-place of study is heavily influenced by cycling habits (for noncommuting trips). Because bicycle commuting is not common, attitudes and other psychological variables play a less important role in the use of bikes

    Imágenes en oncología: generalidades y aplicaciones

    Get PDF
    ResumenLas imágenes tienen un rol fundamental en la oncología actual, que incluye el diagnóstico, etapificación, evaluación de respuesta al tratamiento y diagnóstico de complicaciones. El examen de mayor importancia en estos pacientes es la Tomografía Computada, que tiene un alto rendimiento y resolución espacial, es rápida y disponible en los distintos centros. Otros exámenes son de ayuda complementaria como el Ultrasonido y la Resonancia Magnética. Los estudios metabólicos, y especialmente los de tipo híbrido como el PET/CT, han mejorado la sensibilidad y especificidad en el estudio de diversas neoplasias, tanto en la etapificación, como en el control de tratamiento y seguimiento. En el futuro, con nuevas técnicas, podremos diagnosticar cánceres en una etapa muy precoz, incluso antes de que se manifiesten clínicamente.SummaryImaging has a pivotal role in oncology, including diagnosis, staging, response assessment to therapy and the diagnosis of complications. The most important modality is Computed Tomography, with high accuracy and spatial resolution, fast and not so expensive. Other modalities are Ultrasound and Magnetic Resonance. Metabolic studies such as PET/CT have high accuracy in staging, and follow up of different cancers. In the future, newer techniques will be available in order to diagnose even smaller asymptomatic cancers
    corecore